(debug_output_compilation_hack): Fix return type.

diff --git a/src/print.c b/src/print.c
index ac8736d2aa48ee4fcbdbc09d153e2d54eda148ef..e56c231d30a2eaa4a3c29b8686c06e54437a6e03 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -927,7 +927,7 @@ to make it write to the debugging output.  */)
 /* This function is never called.  Its purpose is to prevent
    print_output_debug_flag from being optimized away.  */
 
-int
+void
 debug_output_compilation_hack (x)
      int x;
 {